Empty derivable product for derivation purposes only!