An approximate equivalence cannot ground a strict biconditional claim without additional stipulation...