Văn bản này: Logic as a tool :