Proof. by Always