What pitcher is better Roy Halladay or Justin Verlander?

Well let me put it this way. If it's game game 7 of the World Series and I can have either Verlander or Halladay, I don't have to think once to take Roy.