Zaslat SMS: Design theory for CAD :