Write separate Assumptions for each parameter.