The procedure that contrasts two levels of system explicitation for appropriate correspondence.