[plus9z]

Yeah, you can move points around to get the setup that seems nicest to you, which is why it isn't perfect for proofs yet.