FORMAL N