Attributes
. 2NC + 2NC . Names
Switch Contacts
(1)