Gambling in the NFL doesn’t mean the games are fixed, does it?