More structure refinements (cont'd)