Thanks, Gareth!

This all seems rather pedestrian. You probably had something subtler in mind...

Not necessarily. I just didn't want to spend time re-inventing the wheel when smart folks who lived a century ago probably spent some time figuring out what theorem along these lines strikes the best (i.e. most useful) compromise between strong-hypothesis-and- strong-conclusion and weak-hypothesis-and-weak-conclusion. Jim