Shouldn't this be `==sec(conjugate(z))`?