Tabs have unique names
Add color to guessed justifications
Export Proof to LaTeX