Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema: Expressivity within second-order transitive-closure logic. CoRR abs/1804.05926 (2018)