let cond = Wp_error.protect_translation E.prop