Create formalresearch10.html