New syntax and refinement section.