proprequire