Computing Definitions (1)