Thus, we have opposite requirements on X. For Step 1 to hold it is useful to have as much regularity as possible for the functions in X. For Step 2 and the a priori estimate it is preferable to require as little as possible. The successful completion of the argument requires a choice of X which balances these requirements.