Pick an operation with three or four inputs, one or two outputs, and interesting but not too-terribly detailed preconditions and postconditions. Show a couple examples of true and false validation cases. Have an initial bug in the postcondition, show how it's discovered, and then fixed.