Savage

• heuristics
• total
• preshrank
• cliques
• Hickok
• logicians
• enfolded
• tames
• Americas