add "kill" operator