EMPTY product for derivation