I also think that (A → B) ↔ (¬B → ¬A ), but it's not a hill that I will die on.

ur welcome @a_jug_of_marx_piss and good morning :)