fmtlib

https://stackoverflow.com/questions/62307385/forall-usage-in-smt

https://microsoft.github.io/z3guide/docs/logic/Quantifiers