Almost there, but broke verify Z