Typos in the names of inference rules