allowing-modules-to-be-at-the-boundary-of-the-envelope-full-example-screenshot.jpg