smt-wherein Witness Application: Working Towards Realizing SMT! — Steemit