But in practice there are a bunch of propositions/proofs where 1 is treated as a number just like any other.