I think that the first one is a red-back salamander, with a nice long tail.
The second one seemed stouter, and did not have a red stripe.
However, I think this one is also a red-backed salamander, in a variant of coloration called “lead-back.” On further inspection we noticed that this one had a stubbier tail, and you could see the new tail growing back! It kind of looked like a stinger. But it is true that salamanders can regenerate their tails, and this is how it looks.
What do you think, are they the same species?