muchas implementaciones de verificación matemática tienen algunas de las cosas más malditas que hayas visto nunca