Synopsis and upper base bound