6.1 机制类型化:发现与设计