On Vaughan Pratt's crossword problem

George M. Bergman, Pace P. Nielsen

Vaughan Pratt has introduced objects consisting of pairs $(A,W)$ where $A$ is a set and $W$ a set of subsets of $A,$ such that (i) $W$ contains $\varnothing$ and $A,$ (ii) if $C$ is…