ct1
rt1:
ct1.1
rt1.1:
ct1.1.1
ct1.1.2
rt1.2:
ct1.2.1
ct1.2.2
rt2:
ct1.2

Article Title

Section Title 1

p1

  1. li 1
  2. li 2

Section Title 2

p2

Thing
"anything that can be thought about"
`∀x Thing(x)';
`:='
"has for definition"