i64 == score(i)
