事後条件

じごじょうけん