시스템 사양 퍼즐: 기술 설계도와 논리