"Also known as peppermint."