Dependent Choice, Properness, and Generic Absoluteness - David Asperó; Asaf Karagila (2018)