Beyond understanding. Formalizing comprehending.