diff --git a/docs/P0122R4.pdf b/docs/P0122R4.pdf
new file mode 100644
index 0000000..31c0b06
Binary files /dev/null and b/docs/P0122R4.pdf differ