https://customleathercraftpk2080gbetterthan.blogspot.com/2024/01/how-to-model-in-z3py.html