transition rule works