An attempt to automate proof finding using typological number theory.