proofs for all the combinators