Assertion list for term "s independent of the coherer".

Results from Ascent++: 1
circuit CapableOfs independent of the coherer 0.28