diff --git a/consts.js b/consts.js
index 85fe5f71..4bc5d8d7 100644
--- a/consts.js
+++ b/consts.js
@@ -5,8 +5,8 @@ const THIRTEEN_FUZZ = 0.5;
 
 var thirteenStrings = [
     "xiii", // Roman numeral 13
+    "1.3", // Basically 13, see proof in #420
     "1️⃣3️⃣", // emoji sequence of 1 and 3
-  
     "https://en.wikipedia.org/wiki/This_Is_Thirteen", // Because it is thirteen
     "https://scontent.cdninstagram.com/hphotos-xtf1/t51.2885-15/s320x320/e35/12237511_444845689040315_1101385461_n.jpg", // Just because we can
     "https://www.youtube.com/watch?v=pte3Jg-2Ax4", // Thirteen by Big Star