Z by Example: Reflection