debug . display logic refinement