Update formalresearch2.html