Just an aside of no value, but you really freaked me out here as I started thinking about weakest preconditions and I had thought that purged from my gray matter! Good luck with your problem...looks like you've received some good help.

,welchavw