proof-MAK-yeo-hallway-030