Assertion: flop's output | /r/HasProperty | connected to the first
Facets:
Source sentences:
text: Johnson Counter - A Johnson counter is a modified ring counter, where the inverted output from the last flip flop is connected to the input to the first.