let equation i s = Solution.equality (eqs_of s i)