add \LeftSubproofLabel and \RightSubproofLabel