On 3/26/22 18:17, ais523 via agora-official wrote: > The Device is on. > > I intend, with Agoran Consent, to cause rule 2655 to amend the rule > "The Device" by appending the following as a list item to the "When the > device is off:" list: > {{{ > At any given time, each instance of a Device has exactly one > possible value for that type of Device. > }}} > [My favourite of this week's suggestions – most of them are either > statements that are already true (because the Device is a switch, so > replacing "switch" with "Device" doesn't do much), or potentially > create a large tracking burden, but this one seems to imply the > existence of concepts like "type of Device" and thus may end up > affecting the interpretation of the rest of the rule.] >
This is experiment 30. I support. -- Jason Cobb Assessor, Rulekeepor, Stonemason