These provisions are 'self-executing'. In other words, they operate automatically; there is no discretionary power either to not apply these provisions or to lessen the amount that is to be offset against past and future pension entitlements.