The Wholeness Axioms and V=HOD - Joel David Hamkins (1999)