Requirements and AnReq rewrite