Create formalresearch3.html