add some verifications