Any x is a y.