I wrote a long addition to my post #8249 as an edit and I guess I ran out of time, so most of #8249 was not posted. Too bad, it was a good post. I will try to recreate it later this morning.