investigates a topological order called the double semion model, a counterpart of the