MichaelDickens comments on On The Independence Axiom