3.5 引述范畴和示证范畴