Verify an assumption.