Delete formalresearch10.html