Thread:B1bl1kal/@comment-27818776-20140604141846/@comment-1682045-20140604145005

I don't think it's redundant.

I think the number 23 has some similarity with 13. I mean look at the movie The Number 23 with Jim Carrey.