Updated the post 'On abstraction'.