jgornick: a lot of simplifications are possible with that assumption