What Is Formal Operational Reasoning