todo: A=B