Just to make sure, note that we don't support "c==a" currently.