derivations

• inseparability
• gird
• Wilmer
• integers
• DDTs