No, that is obvious. What I meant to ask was, if what I am modelling is the parameter to justify the corresponding resolved component, then how do I choose formulation 2 vs 1, in the limit when modelled -> 0 (DNS). I'm coming from the point that it is analysis in this limit which justifies how the resolved component is formulated for the LES solution.