Definitions Index inf-ing