Delete formalresearch11.html