(n.) Same as Tyrotoxicon.