If Solver could handle IF functions correctly, how would you use them in the Dorian production example to create an arguably more natural model—without binary variables? Run Solver on your modified model. Do you get the correct solution? (You will have to use the GRG Nonlinear method.)