Definitions Index ill-inf