formatting
indent section
steal \exists