miscompare
not defined yet