[zygotic12]

But it's weird. It's almost never useful at implementation. It's like Chuck and the guy from TLA+ say. The important thing is just asking THE question. Props to ADA Lovelace for basically inventing that.