check unsoundness.