we can use cong instead of a separate where term
fixed versions of remove_decreases_count