Episode 18: Theorem of irrelevance