Those for which the language of the machine has property P. Of course, for the transduction from M and W to M Prime to work, we must arrange that M Prime has property P, if and only if M accepts W. That is, M Prime is an L sub P, if and only if M and W is an L sub U. We'll design M prime to be a 2-tape machine. 