reduction' (1)