ah indeed. I forgot how it is implemented