i64 > score(i)
