a * 0 GvC