The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers] — Steemit