update abstract, definitions...