Dylan points out that Judge Walton recognizes that ☐(A∨B) is not equivalent to (☐A)∨(☐B): “We have to know that [the jury reaches a] unanimous verdict on one of the two dates or both.”