partialness

not defined yet