Update introduction and serialization formats