Text this: Traditional logic and the Venn diagram; a programed introduction /