btw, what is the meaning of the magic "/ 4.0" ? We might want to put a comment why is that necessary there