The NFL and NFL Players Association struck a deal on a revised Collective Bargaining Agreement five days ago, but the formal agreement hasn't yet been signed.

According to a source with knowledge of the situation, "lawyers" have held up the signing of the document.

That likely means attorneys for both sides are haggling over precise language in the agreement.

For players, that means they'll have more time to decide whether or not they are comfortable playing in 2020. The deadline to opt out doesn't come until seven days after the agreement is signed.