committing LemmaApply.