12. 推论