reduce (Mingers (1989)