Is SMT that guy or just pretending to be that guy? --- (\/)(\/)|-| In Zeus We Trust: All Others Pay Cash