format definitions in section 3.x