diff --git a/docs/papers/PFD Verification - Nemakin Nikita - 2024 spring.pdf b/docs/papers/PFD Verification - Nemakin Nikita - 2024 spring.pdf new file mode 100644 index 0000000000..117bff2776 Binary files /dev/null and b/docs/papers/PFD Verification - Nemakin Nikita - 2024 spring.pdf differ