A = W-1 B