Tests re-added to main.tex