Add easy cases of proof generation