• Fast formal checks
• Substantive checks
• A note for community modules