Implemented verifications.