 Secondly, in the case of unlike middle terms, both of which are universal, change the quantity and quality of one extreme and equate it to  the other extreme. For example the premises All not-\(y\) is \(x\) and All \(y\) is \(z\) gives the  pair of equations 