Title: Logic of Definition