NOTE: Neither the University of Birmingham nor the School of Computer Science is responsible for any of the views expressed here. I am grateful to both for continuing support and access to facilities. All my work is subject to a creative commons licence and may be freely copied, quoted, or used for any purpose, without charge.