Create SAT_BasicConcepts.tex