formal-3