Reflection Rewrite