* New funny timing added: compute an antipode in Yukawa theory.