Using HOTT for historical refights