keep just Denotes, add ValueOf as an alias, things should be OK