I have a disagreement with Craig Gidney regarding Shor ( physics.stackexchange.com/questions/369590/… ) - he claims that we don't need to measure output z in point 4 of quantum part of en.wikipedia.org/wiki/Shor's_algorithm ?