RESIDUE A Deductive Approach to Design Synthesis