Scratch This is a scratch space for me to experiment with ideas. It is likely to be removed once those ideas are worked out.