Oooooh, wow! Good point & makes things much harder! Will read OPs post in more depth later then. Edit: I wonder if you can use property based testing to prove

Oooooh, wow! Good point & makes things much harder! Will read OPs post in more depth later then. Edit: I wonder if you can use property based testing to prove this fact...