Is Z7 deterministic?