Verifying refint