Let con(ZFC) be a sentence in ZFC asserting that ZFC has an omega-model M. Let  A_M  be an wff over M. Let S be the theory ZFC+con(ZFC). Is the reflection for S: Bew_{S}(A_M) --> A_M is satisfied?