No Counting

FOF Axioms

• Different amounts of information

Inference Steps

• Different amounts of inference
• Adding and removing inference steps is easy
  • Smallest (subset) proof "by the ATP"
  • Larger (superset) proof by step deconstruction

What's the Alternative?

• Compare sets of these artifacts