Formal Ware