Insert sureshot() and some helper predicates. sureshot is still instable.