Updating explicit requires