Update formalresearch3.html