Answers that are Unequal or Look Different

Basic Denial

• Iteratively augment conjecture to deny previous answers
  • Using inequalities, e.g. ...
  • Using "look different" axiomatization, e.g. ...
• (Try to) Use model finding to confirm completion

Subtleties

• Incremental addition of "look different" axioms
• Equality and "look different" approach issue
• Different answers for different proofs