Finished up to formal model.
Added tables to markdown.