Updated lemma for context rules, fixed #26