More comments on our strategy with predicate annotations