ParentFull threadkevinventullo·Too late to edit, but you’re right I was misremembering. I was thinking of whether (1) should be considered a prime ideal.View on HN