Module Aliases.P2

module Z = P1.Y