partiality

not defined yet