added eq:AtoB