| Ed Murphy on Fri, 11 Jun 2010 08:40:19 -0700 (MST) |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
| Re: [s-b] CFI - The nature of shadows. |
0x44 wrote: > I usurp the Oracle specifying a reward of 9. > This is CFI 112. I assign it to Judge Murphy. > > On Jun 10, 2010, at 12:37 PM, 0x44 wrote: > >> I CFI on "Rule 10 is a Rule." >> Arguments: It is an entity named "Rule 10". If this assignment is valid, then I judge True. In general, in the apparent absence of an explicit definition of "rule", common sense suggests the definition "entity created according to a B-defined mechanism and clearly labeled as being a rule". _______________________________________________ spoon-business mailing list spoon-business@xxxxxxxxx http://lists.ellipsis.cx/mailman/listinfo/spoon-business