What do you mean? Should refinement equal surface complexity?