Work on formalizing the model a little