Maybe worth a comment to explain why we need these.