i64 == score(1)
