indistinguishability w/r/t predicate