OT but AOC-related: Hypothetical NFL Trade