TheoryDeserializer