inc (need thm2, thm1 and a fake label)
thm1 - inthm1
thm2 - inthm2 (need thm1)
test thm2
test thm1
something
test thm3
Here is a paragraph.
And another.