In case of need, they are redefined.