MoreProp: Adds more proofs.