  A SFN (something-from-nothing) transformation (about Fs) is a statement that allows us to deduce a statement about a kind of entity F, from a statement that involves no reference to Fs. (61) SFN transformations assert a kind of supervenience condition on Fs: if the relevant non-F conditions obtain, Fs exist and have the relevant features. (E.g., if snow is white, then the proposition that snow is white exists and is true.) 