replace two admits by application of shift_zero
replace other "admits" by shift_zero