"zorn's lemma" sounds like an 80 sci-fi novel with like a guy swordfighting a big worm on the cover