What Must Be True To Prove That Q N