123 -> ABC + ref to next section -> 2 paragraphs down
fiddling with last technical bit
Merge branch 'master' of github.com:resource-reasoning/CoLoSL