default:
	pdflatex notes
	pdflatex notes

fig:
	epstopdf figure/ts_theory_sat.ps