Slightly condensed abstract