This week in the Substance ÉTS science review, we highlight articles on two topics that are top concerns for many people: Artificial Intelligence and the environment. Each quarter, The Economist publishes a fairly detailed review of a particular aspect of technology. In the first quarter of 2017, The Economist published seven articles describing the progress and limitations of language technology with, in addition, a glimpse of the future in this field. Researchers at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL), in the US, are trying to figure out how MIT students solve a planning problem. They found that the strategies used by the majority of students could be described using a language called "linear temporal logic".