Modified the modules to use standard inclusion semantics