The Z3 was Turing complete