Si ninguna guarda es verdadera, el resultado es indefinido (semánticamente equivalente a una instrucción Abort).