Section 1: this is theorem counter syntax from ThmsExtension()

Subsection 1.1: Bees

Here we begin our study of bees.

Theorem 1.1.1 (the bee theorem). According to all known laws of aviation, there is no way that a bee should be able to fly.

Proof 1.1.1.1.

Its wings are too small to get its fat little body off the ground.

Theorem. Bees, of course, fly anyways.

Proofs are configured to have titles override the heading.

Because bees don't care what humans think is impossible.

Exercise 1.1.2: Prove that this summary environment is common to all dropdown-based environments.

Solution: by reading the documentation, of course!

Exercise 1.1.3

All dropdowns initialized in ThmsExtension() have a default summary value of thm_type, so using dropdowns like pf and exer here without a summary block is also fine.

Also, since there's no extra summary after the theorem heading of "Exercise", there is no punctuation (the colon; default punctuation is a period) since we set "use_punct_if_nothing_after": False.