x* y ' ' - y ' = x