Fixed error I introduced by removing A=B->|A|=|B|.