事後条件 (じごじょうけん) — postcondition | Kumi Dictionary