preinference

not defined yet