This paper describes an automated design system which harmonizes music. The goal is to take a given melody line and produce four part harmony according to procedures set forth by harmonization and voice leading techniques. Voice leading techniques provide some guidance about how to produce a musical arrangement. Many of these techniques, however, are represented by rules which specify certain situations which must be avoided. Thus, the principle challenge is how to determine what design choices should be made based on what cannot be done.