removed double-label sec:intro