dr_s comments on On The Independence Axiom