Complexity of Reasoning