ati ntawe ujya gutaha ngo abitangaze bakora imirimo mitagatifu mu izina ry'uhoraho there are also morphisms that allow to relate and translate logical systems