Attributes . DUAL J-K POSITIVE-EDGE-TRIGGERED . Names