proveit.logic.booleans.conjunction.left_from_and
proveit.logic.booleans.conjunction.right_from_and
proveit.logic.booleans.quantification.existence.exists_unfolding
proveit.logic.booleans.negation.negation_contradiction
proveit.logic.equality.fold_not_equals