Revert "toProd"

This reverts commit 23eec59f792d6a1e1abf10a403d47886aa9f1c45.