Charlie Steiner comments on Research agenda: Formalizing abstractions of computations