added set-remove-check!