Change to GitHub's fenced code mode
Add predicates section and lead-up