א->=> ב->=>