Large cardinals need not be large in HOD - Yong Cheng; Sy-David Friedman; Joel David Hamkins (2014)