Everything you wrote is true and in no way disagrees with what I wrote.

I think you mistook my A => B assumptions for a no B => no A which is a flawed logical reasoning.