redo -
memv memq member