abc>0