I'm not crazy about "raw assertion" as a name. I was thinking about "predicate", but looking at the code I realize it's more than just the predicate. Will chew on suggestions for other names - did you consider any more? I seem to recall this possibly being discussed in another issue?