Attributes . Bend Proof . Names