Email Record: Formal engineering design synthesis /