let use i s = Solution.use (eqs_of s i)