Back to: Certified Sweeping Operator – Construction