fix math/gringo