FORMAL-006-1