Dan and Kermit Talk

Kermit

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.