proof-MAK-yeo-exterior-202