3. Z-computation.pdf