My boss gave me 133 or so pages of math to read before Friday morning. I need to find something in this kind of logic to improve upon before then. Sleep should be happening now. 
What’s Decidable About Program Verification Modulo Axioms?
https://arxiv.org/pdf/1910.10889.pdf
Decidable Synthesis of Programs with Uninterpreted Functions
https://arxiv.org/pdf/1910.09744.pdf
Decidable Verification of Uninterpreted Programs
https://arxiv.org/pdf/1811.00192.pdf
