Now if the goal of that demolition is to turn that block into the front yard of Old Main, then does it seem that they surgically demoded everything behind the facade of the building that formerly housed Dominoes and Radio Shack?