Yoav Ravid comments on Replaceable Axioms give more credence than irreplaceable axioms