... You write that this creates a biconditional, but I don't see ... chose to make. To get a biconditional, we have to accept the ... an "until" or "except" creating a biconditional, which would prove that the ... to read that as creating a biconditional, such that "If we ...