Lemmas, logic, and rationality