Proper and improper forcing - Shelah, Saharon, 1945- (Perspectives in logic, 2016)