Mysl será demostrada más adelante.