@ned: Imagine a SMT