FORMAL-006-2