[WorldMaker]

In math you have the "for all customers there exists a customer that". Maybe I should write up a formal INTERCAL proposal that this should be the proper loop construct in 2020, spelled out in plain Math English like that.