 and suppose that (F) satisfies (in addition to a prioricity) the various other constraints that Wright imposes on his provisional equations ((F) is actually not of the form of a provisional equation, but this is not relevant to our purposes here). Rosen questions whether this would be enough to establish that the facts about the funny are in some metaphysically interesting sense ‘less real’ or ‘less objective’ than facts (such as, arguably, facts about shape) for which a suitable equation cannot be constructed.