i64 <= score(i)
