Why CoVerified Failed