Attributes . Short-Circuit Proof . Names