⁴These renamed modules are visible as names when using the show modules command (see Appendix A.12) and will be shared, but they cannot be referred to directly in module expressions.