Create formalresearch8.html