For those things are prior in substance which when separated from other things continue to exist, but those are prior in formula out of whose formulae the formulae of other things are compounded; and these two properties are not co extensive.