(n.) See Pygmy.