1) Seems to break if there are retraction / modifications in the history 2) OR needs some debugging 3) NOT? 4) Check that a negated literals evaluate to true on deref failures.
