Variable domain axioms corrected again.pdf