On Mon, 12 Aug 2013, Jonathan Rouillard wrote: > 4. Agora runs on legal reasoning and my exegesis of "if" above is > entirely correct. In this case, once again, Fool's promises were > slightly buggy, but a better-phrased version would generate a paradox > and allow turtle creation. I believe this to be the correct > interpretation.
You might get some mileage comparing and/or contrasting our use of 'or' (which sometimes is used as logical OR, but more often in the ruleset XOR). The fact that it is context driven implies a legalistic/ common sense use.