Theoretical Foundations for the Computer-Aided Design System | Synapse