2016. Tiny proper classes. The Reasoner. 10, 10 (Oct. 2016).