Assertion: flop's state | /r/HasProperty | the same
Facets:
Source sentences:
text: : we get an invalid state on the output, where Q and not-Q go to the same state, the same as our old friend, the S-R latch!