Module Module[{locals}, expr] evaluates expr with the local variables locals. Attributes[Module] := {HoldAll, Protected}