Attributes . Proof . Names