9.3 式范畴和情态范畴