Added unary verifications.