Squeeze in the realizability cond. on Fs