Defense Dissertation Russell W.F. Lai: “Succinct Arguments: Constructions and Applications”