Stupid Question about 17-Game Question

A 17 game schedule is going to happen. The players have pretty much agreed to it and the sticking point is about when to start it. The owners want 2021 and the players are trying for 2023.

How do we know they agreed to it?