formal objectives