We have the papers to prove that HIV was inserted into the spike protein