Add link to jump down to full list of contradictions.
Some general code cleanup, missing semicolons and such.