i32 >= score(i)
