preinductive

not defined yet