corrigenda_bar_operator(ok).