Reflection function and enumeration