Without that proportionality assumption, the quam proxime biconditional collapses into a one-directi...