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.”

(Update: do Taiwanese officials use a logic even finer-grained than intuitionism?)