事後 じご条件 じょうけんであれば
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