Dictionary: “事後条件”