definitions finished