同意。「条件を漏れなく思いつかねばならない」ってのがだいたい危うい
ような…

事前条件・事後条件ってのもなんだか大昔の公理的意味論（Hoareだっけ？）
みたいで、形式的な証明には役に立たなさそうだし。