refinement: structure.