more details of subord proof