Rewrite/improve section on formal epistemology
Several minor changes
Paragraph on higher-order ToM