AS ONLY
A1: Proof