Made lemma and token arguments optional