Attributes . 2NC LOGIC LVL AMB Cont blck FINGR PROOF . Names