Common_knowledge_(logic) loading ...