AS ONLY
A: Proof