Here is our disjunction so far:
reject_truth ∨ imprison_imagination ∨ generalize_propensities ∨ (p = p)
Yes. I transformed our proposition into a tautology. You can thank me later.