> I don't see the issue? > if we receive both, than an exception occurred and should be handled P(decimal ∩ DivideByZeroException) = 0 , therefore we only nee

> I don't see the issue? > if we receive both, than an exception occurred and should be handled P(decimal ∩ DivideByZeroException) = 0 , therefore we only need 2 states, not 4.