RULE = A invalid B