SMT Shenanigans

Clipped by Kupo_yo