tpa-lr-mp-1447_windyhill_mapa4_proof