Beginning of implementation of SETF