Formalizing our concepts