Assertion: logic's theorem | /r/HasProperty | proved by huffman
Facets:
Source sentences:
text: A theorem proved by Huffman tells us that by adding a redundant loop 'X2X3' this will eliminate the hazard.