Definition of (re residence test)