(for db1 {v | v in values, v = string} '() (lambda (v) (give v))) List comprehension syntax taken from set builder notation. Eg: S=\{\,2\cdot x\mid x \in \mathbb{N},\ x^2>3\,\} Is there a reduce for list comprehensions...? a list decomprehension?