tpa-lr-mp-1377_haddington_mapa4_proof