prejustification

not defined yet