Bisimulations and Boolean Vectors, in Advances in Modal Logic 4, Philippe
Balbiani, Nobu-Yuki Suzuki, and Michael Zakharyashev editors,
pp 97--125, King's College Publications, 2003.
Proposition 5 is in error, and should be deleted. Nothing later depends on it. (Due to Evan Goris)