(n.) The act or process of reducing to a formula; the state of being formulized.