A v c \ ^c;