How to differentiate between (elementary-number-theory) and (number-theory)? Wouldn't things be cleaner if we just ... didn't? Currently there are only three tags that have elementary in them: elementary-number-theory elementary-set-theory elementary-functions Having a distinction for e...