checker2: inference rules
checker2: inference rules