Taguri: verifications