Anthony DiGiovanni comments on On The Independence Axiom