Create formal6