prejustifying
not defined yet