fog logic refinement;