/math/gringo/