deleted TheoryAgent
Fixed merge