x·y'- (1 + x)·y = x·y^2