preexact
not defined yet