[TUHS] The birth of the Z3