Introduction to the proof rules &out and &in
Please see www.ifpthenq.net for more info and online quizzes.