1, 6, 10, 12, 13, 20, 21, 22 and 23 are of a kind and have no definition. They are all participants in the solver and setters 14