IC_principal-ensure-guarantee-difference_01