I expect you meant that A => B doesn’t imply B => A