Update formalresearch9.html