edits to $exists