Attributes . Continuous Short-Circuit Proof . Names