Is this is a case `x in mrv(self,x)`?