moved states membership into equality in Problem {...}