Formal Theory of C3 and Data Fusion