updated - consequences of precond violation