applied Viliam's changes to the abstract