ProtocolSpec --- acc ---> 'del.ProtocolSpec 'del.ProtocolSpec --- 'del ---> ProtocolSpec