one(list, i64 > 1)
