You aren't using logic. You are using limited information to form an assumption. That's conjecture, not logic. You're saying a = b therefore a = c. But you have no idea yet if b will = c or not.