Is it a Challenge?

Is it New Science?

• New theorems, not industrial proofs
• A new challenge for ATP
• Useful side effects
• Just because it's fun!

Is it Hard?

• A challenge for humans
• Requires a range of techniques

Can Success be Measured?

• Incremental approach
• Human arbitration of success

Does it Invoke Broad Interest?

• Comprehensible to the community
• We hope that initial success will inspire