Explicit instantiation.
Working on paper.
Formatting fixes.