Corollary Standard 4 Reflection