"A Little Reflection" fully verified