the ordering is done by upvalue