Update TheoryCore.java