Second Johnson bound