formal declaration