Title: The papers of George Mason, 1725-1792