Formal_epistemology loading ...