msiegel Star
an impressive discovery:
"Speculatively, the Curry–Howard correspondence may be expected to lead to a substantial unification between mathematical logic and foundational computer science"

note to self: there is no looping, only mapping aka "set" operations