derivable product

---