Yesterdays updates to the inference rules and grammar