update
delete pre-condition case