A program to teach logic