I'm not sure. I definitely found it useful when doing this to have them print differently, and also to be able to reference them differently. Then again, one can still do the latter by saying `S.true` (that one has to be lowercase because `S.True` is a SyntaxError in Python 3).