I said immutable -> !loops (p implies not q). You're saying !immutable -/> loops (not p does not imply q) It's a fair thing to mention, but you're not gainsay

I said immutable -> !loops (p implies not q). You're saying !immutable -/> loops (not p does not imply q) It's a fair thing to mention, but you're not gainsaying anything I said; I never said anything about mutable languages that don't have loops. In fact, to the topic at hand, you would assume that to be the case, given that structured programming was intended to force loops on languages at the time (mostly mutable) that weren't using them (but instead were using gotos and the like)