Kyle writes...

Hi Greg, these questions may seem redundant and/or obvious, but for clarification:

1. Is Wally West's real name Wallace West, and "Wally" is just his nickname?

2. Is Barry Allen's real name Bartholomew Allen, and "Barry" is just his nickname?

3. Is Hal Jordan's real name Harold Jordan, and "Hal" is just his nickname?

4. Is Billy Batson's real name William Batson, and "Billy" is just his nickname?

5. Is Ray Palmer's real name Raymond Palmer, and "Ray" is just his nickname?

Thank you in advance, and I hope you're having an amazing day!