Meximath: _verified_