Well, corporations don't care about your data, they only care about protecting your own :-D Having a separate phone for work stuff is just generally good practice anyway.
InTune is mobile device management that allows a company to enforce policies on your phone such as pin code length/screen locking policies, and ability to remotely wipe your phone. Since these privacy ROMs are about giving control back to the user, I suspect that there will be problems with MDM enforcement software like InTune. I no longer work for a company that uses that software though, so no chance to test it out.
It would have to be Gödel's Incompleteness Theorem. Such a beautiful proof that shakes mathematics to its core.
The science communicator Veritasium made a nice video about it: https://youtu.be/HeQX2HjkcNo
I first learned about it in Douglas Hofstaedter's masterpiece Gödel Escher Bach: An Eternal Golden Braid