Create formalresearch7.html