#10
Ah yes, been so long since logic class that I have grown accustomed to calling it the undistributed middle. Thanks