newNot(newConst(0)) returns 1??
I have no idea what I'm doing