wrap-up school

added the doublecheckinit code; stopped short of explaining triangular
race. found another simple example, not in yet.
pdf ignored

in .gitignore, do not forget to ‘enter’ the last line, otherwise it
ignores.
why?

forced me to commit main-tsoreduction.pdf