The ground axiom is consistent with $V\ne{\rm HOD}$ Posted on September 25, 2011 by Joel David Hamkins