start formalizing stuff