Comment by @greengrass • Hey

The prelude is a bit long, won't you streamline it?