A Dumb Introduction to Z3