### Instruction: Which of these are Teenage Mutant Ninja Turtles: Leonardo, Guido, Shredder, Luca, Enzo, Maximiliano, Giulia, Donatello, Raphael, Diego, Pedro, Michelangelo, John
### Response: The Teenage Mutant Ninja Turtles are Leonardo, Raphael, Michelangelo, and Donatello. Guido, Shredder, Luca, Enzo, Maximiliano, Giulia, Diego, Pedro, and John are not Teenage Mutant Ninja Turtles.