 The antecedent guarantees that \(\alpha\) and \(\beta\) are of the same type, and so the cardinal numbers involved are homogenous cardinals. (Landini (2016) argues that this section of PM is confused.)