[foldr]

Or, equally, pain that you might think is real is actually imaginary. (If the two terms are equivalent, substitution should work in either direction.) Seems obviously false to me.