claim: The Book of Mormon was unable to win a Tony Award for Best Musical.
evidence: Johnson County is a county located in the U.S. state of Texas .. county. County ( US ). U.S. state. U.S. state. Texas. Texas. As of the 2010 census , its population was 150,934 .. 2010 census. 2010 United States Census. Its county seat is Cleburne .. county. County ( US ). county seat. county seat. Cleburne. Cleburne, Texas. Johnson County is named for Middleton Johnson , a Texas Ranger , soldier , and politician .. Texas. Texas. Texas Ranger. Texas Ranger Division. Johnson County is included in the Dallas-Fort Worth-Arlington , TX Metropolitan Statistical Area .. Dallas. Dallas. Fort Worth. Fort Worth, Texas. Arlington. Arlington, Texas. Metropolitan Statistical Area. Dallas-Fort Worth Metroplex