formal-l