A=B
k-10 A=B by A=B