i32 <= score(i)
