Create formalresearch6.html