The HOD Hypothesis and a supercompact cardinal - Yong Cheng (2018)