Das sind aber Reduktionssätze, oder?