There's no `y` abstractproperty in this interface?