more explicit definition of formal