Mellor’s reformulation• “Suppose you have just had a painful experience, e.g., aheadache. Now it is over, you say with relief ‘Thankgoodness that's over.’ What are you thanking goodness for?On the face of it, the fact that the headache is no longer apresent experience, i.e., is now past. That is presumably whyyou made your remark after the pain, and not during or beforeit. Can this . . . still be explained [on the B theory] ?”• “[Tenseless facts] hold at all times. It can therefore never beappropriate to thank goodness for a tenseless fact at one timerather than another.”