16.1 演绎重在形式