i64 < score(1)
