Note: this puzzle game assumes thorough knowledge of z3