a few more tactics for doing case analysis.