Note that this rule does not commit to either "A true" or "B true".
注意这个规则不依靠于“A true”或“B true”中的任何一个。