(n.) See Pumpion.