with (a) proviso