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

pseudoSectionTitle 1

ps1

pseudoSectionTitle 2

ps2

Section Title 1

p1 strong p1s

  1. li 1
  2. li 2

Section Title 2

p2

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