Update formalresearch.html