precontrived

not defined yet