derivable product.