Disproving XAI Myths with Formal Methods – Initial Results | Publicación