image That is, sufficiently smooth for the Sobolev energy, with minimum differentiability possible to close the bounds, to exist.