In the line of code above, `y` is an immutable variable. It does not mutate, yet it "varies" as different values of x come in.
You’re thinking inside the imperative programming box.