Add another premirror predicate.