Proper checking of paradox results