Mateusz Bagiński comments on Research agenda: Formalizing abstractions of computations