The Star Trek lemma https://www.johndcook.com/blog/2026/06/24/star-trek-lemma/