Email Record: Advances in Formal Design Methods for CAD :