(n.) See Pattee.