Jonathan, if negative numbers take so much explanation, maybe we should just get rid of them. It's starting to affect our GDP and national security. I am a fan of your syntactical methods, even though I have not yet mastered them. Perhaps we need to "formalize" them, that is, get some notation for them. Then we can formalize the consequences as well.