Create formalresearch4.html