ABSTRACT
X is a special case of Y, and so every yes or no instance of X is already a yes or no instance of Y. No modications are necessary. us, an identity mapping takes a yes instance of X to a yes instance of Y, and takes a no instance of X to a no instance of Y.
