Hamilton County Common Pleas Judges, Book, Music and Lyrics by Lin-Manuel Miranda.