ACR Alpine Capital Research, LLC