Title: Specifying Trees