add new theory: Serialization