Added comment to inference rules