you can produce a solution