preinferredpreinferring
not defined yet