Re[2]: Left-bias and non-structural equality.