The pursuit of better understanding the universe of set theory V motivated an extensive study of definable inner models M whose goal is to serve as good approximations to V. A common property of these inner models is that they are contained in HOD, the universe of hereditarily ordinal definable sets. Motivated by the question of how ``close" HOD is to V, we consider various related forcing methods and survey known and new results. This is a joint work with Spencer Unger.