Comprehending comprehensions by Reuven M. Lerner