I was expecting

    should_isolate(_).

meaning always "yes", but it's actually encoding rules.