Why are Z3 so cheap?