TEC Formal 2010