digraph tamari {
OaObc -> OOabc;
}