Wann darf man benjamini schneiden?