I love how z3 code looks like magic! Seems like a good library to start getting the hang of