Attributes . up-down synchronous binary counters . Names