So this is the new name of Alpha Tauri? : r/formuladank