If the reference frame presupposed by the biconditional cannot be non-circularly fixed, the 'if and ...