Change the law if you think retirement age should be 80