  Masanes, Galley and M\"uller claim to have derived a unique rule for quantum
state update consequent upon a measurement outcome. Upon closer examination,
their proof implicitly assumes its first step, namely that the state-update
rule is linear.
