On this superb Proof Example The AW is missing. Beautiful mirrored proof.