Create formalresearch9.html