I believe there's actually a bug in this predicate -- I'm missing a paren and getting the operator precedence/ordering wrong.  Ugh.