Added TheoryLogic