reworked axioms in dtp