Assertion list for term "bad to be true".

Results from Ascent++: 1
run ReceivesActionbad to be true 0.22