Create XORVerification