WYRL: working on the inference rules.