Two tables (separated by a thick line) representing two different versions of W. Within each table, each cell i,j in the main 2-by-2 grid contains the boolean value $⟦ej∣κ⟧Lwi$. The column to the right contains $ℵLwi(e1,e2∣κ)$. The bottom row aggregates each column by quantifying .