deveniretur