P2a4 @ X ←oA)ML