Almost final version of ISSAC talk