I have finally been able to follow through on this.

I'd have to return a few times, but I get the "why not" part, for some definition of get.

I will have to go through this again looking at how assumptions are used...