Sequents and Trees - sidottu, Englanti, 2020