Re: meaning of Requires(pre)