pred-{and, or}