Tiny Proper Classes. tr 2016, 10 (10).