checker2: starting on inference rules