The Formal Outline--Why and How