What is this? Why duplicate definition of `post`?