I think though if we just declare that 1,0,... is larger then anything else it works. This is kind of a cheat, but ..