New: verifications