cool! Does he still have some axioms?


-David