If a formula holds universally across all substitution instances, necessitation is warranted regardl...