NicholasKross comments on Research agenda: Formalizing abstractions of computations