No será necesario encarecer cuál sería la pena de don Juan.