3.2.1 formal