Does anybody know if Peter Paine is still around? I happen to notice that his symbolics supplies web page http://www.abstractscience.freeserve.co.uk/symbolics/ has disappeared. -- Christian