preconditions, del, add effects tested and working
switched all of .y to the mem functions