failed attempt at solving 8.6 with a syntactical transformation