Reenable some easy proofs.