On 01/14/2012 08:37 PM, ais523 wrote: > On Sat, 2012-01-14 at 21:31 -0500, omd wrote: >> On Sat, Jan 14, 2012 at 8:29 PM, ais523 <[email protected]> wrote: >>> * or commonly referred to as xxxx/yy >>> The second is impossible in the current ruleset; the third isn't, as >>> although no rule is currently commonly referred to with a name of that >>> form, that could change without any ruleset amendments. >> >> I intend to call for reconsideration with two support, as this is >> highly unlikely. > > "a is true IFF b is true", as a hypothetical, can be invalidated by > anything that's a hypothetical b but not an a, no matter how unlikely, > surely?
In this case, A is imperative rather than declarative. "A iff B" here means "set the truth-value of A such that 'A iff B' is true".
