From the recording Four Lemmas