semiexpository

not defined yet