The earner of the badge shall be able to: • State the concepts of reduction, overconstraint, and underconstraint. • Identify cases where these complexity strategies might be usefully applied. • State the benefits and drawbacks of addressing complexity with these methods. • Set up a Jasper proof that utilizes reduction, overconstraint, or underconstraint. • Recognize common hazards encountered when using these methods. • Understand common Jasper commands related to these methods.

• Type Validation
• Level Intermediate