Really it just needs a transition operation and for a while maybe a dual signed extra tag