Abstract
Polish section 2
WIP on Formal Epistemology
Work on section 5