Prove just a bunch of stuff about Z