HasOriginal => DesugaringProtocol