Revise last commit so only insuf-ev is always-true

(not also order-dep)