formal-12