#977 977 <HPString>

How are we going to prove that?