rewrite of abstract