Some more in the abstract and some FIXMEs added