How The Windfall Elimination Provision Works