the FORMAL introduction