dsimcha: > Probably nothing will ever be able to hold your hand about high level invariants. Who knows? Probably there are papers with ideas about such problems. Bye, bearophile