The twenty-elephant restaurant