Added witnesses for the 'tambara' and 'cotambara' isomorphisms