No More Learning

Again in the case where it is true that "all _x_s are _y_s," but not
true that all "_y_s are _x_s," _y_ may be part of the           of _x_
or it may not.