Implemented up to valid-solution?.