Update formalresearch7.html