Minor
WYRL: some nice documentation for infernece rule as well.