I have written a bit more about more or less the same topic, it's mostly about type systems: http://leonardo-m.livejournal.com/81028.html I don't know if axioms can be useful to D2, but a formalized and powerful way to do concepts now seems very useful. Bye, bearophile