I thank my hon. Friend for raising that with me. Obviously, the quality of school buildings is an important issue in our education system. That is why we are putting more money into it—we are investing £23 billion in school buildings through to 2021. He raised the specific issue of Tiverton High School, and I will make sure that a Minister from the Department for Education will be happy to meet him—and the headteacher and the council, if that is appropriate—to discuss this issue.