Formal Production