Formal proofs have me like...