all(list, 1 >= i64)
