Thanks for the formal analysis. I was working through some of the same concepts and your work validates my thinking.