Tag 'operator = Ackermann'