Chisholm's criteria for the intentional use of sentences are : existence independence, truth-value indifference, and referential opacity.
2.
However, the ostensibly simple substitution of 0 \, \ ! for n \, \ ! is not so simple as it brings out the so-called " referential opacity " of modal logic in the case when a modality can interfere with a substitution.