Z3 [1995.10][]