a formal declaration of the foregoing