Dr. Lemmas problem (1975)