moved Equiv into Data