Assertion: logic redundancy | /r/HasProperty | contrary
Facets:
value: to the aims
type: OTHER
Source sentences:
text: The race condition is removed by adding in logic redundancy, which is contrary to the aims of using a k-map in the first place.