Add negative verifications