事後じご条件じょうけんであれば
ji gojōkendeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 事後条件

1. If/when postcondition; If the postcondition is met

Ba Conditional
Computing