This is very interesting news...when I do finally get my "real" HT, the chances of an All-Axiom system seems to have risen substantially.