O, dentro de un procedimiento explícito: