preexact

not defined yet