A short abstract in the README