Refer to examples in section intros