meaning of Requires(pre)