i wonder what happens when we remove this annotation, if phpstorm is smart enough to figure this out, for some reason i am bothered by annotations of this kind. But maybe it is ok and I am just being too strict.