The terms defined here are considered mature.