Remove. We could write this everywhere but that would not make the code clearer ;-)