Case Study: Using VDO or CAI in Studying Methods of Proof