formal2-1