uncontrived

not defined yet