corrivality

not defined yet