none(list, i64 > i64)
