none(list, i <= i64)
