Provide one example of when you would use the tautology-based refinement technique. Provide one example of when you would use the obstructed target technique. Defend why you chose to use each technique in the examples that you d