Free prod. emptiness △ ▲