The tag logical purity mentions (=)/2 as pure. Is it "intrinsincly" pure or "operational" pure? To the best of my knowledge it can be defined by this Hor
