values are strictly ordered