distinctio

not defined yet