Rabin and tuple check