Don't check in .settings
Add Thompson construction