prejustified
not defined yet