Dear Alastair: In the appendix of your paper if we call m logical units a venue why do you have just one such venue?
If there are an infinite number of venues of strength m in the Everything then any sub m sets in m appear an infinite number of times in the Everything. Hal
