For φ to be necessarily true, the proposition φ expresses must necessarily exist (i.e., φ must be st...