Last Updated on February 4, 2023 by pg@petergamma.org
We thought about if there is something more which Rob ter Horst did which we would not do. We published already a lot of things Rob ter Horst did which we would not do in our journal. And looking for furthers things that Rob did and we would not do is a waste of time.