varieties

• Cong
• fingerprinting
• recursive
• scuppers
• achieves