Toward a Formal Model of Cognitive Synergy