Formal Operational Stage Summary