Definition of Proviso