x·y' + y = (x^3)·(y^2)