temporarily use TotalEq instead of Eq