formalized outline