Formal Reflection