Therefore the implication is strictly one-directional, and conflating the two reducibilities obscure...