Church functions: + * pred -