• Defining Correct Prerequisites