With requires