Attributes . Proof Tester . Names