precontrives

not defined yet