New: reductioadhitlerum