Formalizing experience