what kinds of proofs would it be good at? I thought that combinatorial proofs would be easier to reason over than ones that required analysis