Distributed systems of knowledge and complexity theory