let
replace i s =
Solution
.replace (v s) (eqs_of s i)