Sufficient conditions for the forcing theorem, and turning proper classes into sets - Peter Holy; Regula Krapf; Philipp Schlicht (2017)