When PPS was set up, obviously the House contributed more personnel and more money to the setting up of PPS than did the Senate, because we had a bigger security service. But now that doesn't really matter anymore. It's one service with separate institutions and separate votes in estimates.
On November 15th, 2016. See this statement in context.