“…Furthermore, we focus on the K9E-1 tautomer because it is indistinguishable from K7E-1 when looking at the high harmonic frequencies, and it is more similar to K9K-1. Finally, we also consider the E9I-1 tautomer because it is formed upon double proton hopping starting from K9K-1, and the presence of E9I-1, even in traces, would suggest the presence of a fast-proceeding double proton hopping mechanism, resulting in a stable tautomeric form. − ,, …”