Traditional Logic I, Instructional DVDs