stronger conditions on logic in kill()