i < min(i64)
