I like adding AOC to the ticket. But getting through primaries may pit them against each other; their bases, at least.