A bit like writing a not type safe program, which won't get run until there's a disagreement and litigation, and then, the program gets interpreted, by an a bit

A bit like writing a not type safe program, which won't get run until there's a disagreement and litigation, and then, the program gets interpreted, by an a bit unpredictable machine (a human) ? :-) Definitely some if and or else, in the contracts, ... For loops are unusual though, are they not. And while true loops too