Conclusion

What Now?

• Add problems to the TPTP - please donate
• Encourage developers to adopt - please do
• Start a CASC division - see previous two points

Future

• TFX, including FOOL
• THX, with richer types and terms