Create formalresearch.html