I chose to use neither `concat` nor `push`, since that felt clearer. Let’s see what you think.