What Negation is not: Intuitionism and '0=1' · Study