Using definitionsEBvariations.tex#Using definitions