Definitions Index inf-inp