[SC] Renamed predicate.