checker2: inference rules