2023-08-03 by The Void @sam_c I think that is fair, as solver is only seeking an element of the answer to enter, not the whole.