Lateley, I've been looking into Barwise and Etchemendy's teaching methodology based on the LPL Software Package. I'd like to discuss some of the advantages of this methodology by showing a demo of the LPL Software. I'm interested in knowing your opinions about the suitability of this methodology and software tool for learning elementary notions of logic.