y is really unbound in the notation, now an error.