section labels and main thm to intro