add: asserter for protocols and agendas